From: kaf24@firebug.cl.cam.ac.uk Date: Thu, 13 Apr 2006 09:41:53 +0000 (+0100) Subject: The comment in xen.h on how to obtain current system time was missing X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16158^2~2^2~36 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=6d847cf8cb7fd656bb99f8918894f598fd783ec8;p=xen.git The comment in xen.h on how to obtain current system time was missing a right shift by 32 bits. Signed-Off-By: Bruce Rogers --- diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h index 8b2faffc6f..cf5e38c9b7 100644 --- a/xen/include/public/xen.h +++ b/xen/include/public/xen.h @@ -286,7 +286,8 @@ typedef struct vcpu_time_info { uint64_t system_time; /* Time, in nanosecs, since boot. */ /* * Current system time: - * system_time + ((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul + * system_time + + * ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32) * CPU frequency (Hz): * ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift */